Revision 2 updates #101

Job	Run time
verify (verifyCrossChainControllerWithEmergency.conf)	24m 47s
verify (verifyCrossChainReceiver.conf --rule transaction_received_only_from_authorized_bridge_ada...	36m 48s
verify (verifyCrossChainReceiver.conf --rule state_transition_to_deliver_iff_IBaseReceiverPortal_...	19m 19s
verify (verifyCrossChainReceiver.conf --rule envelope_state_witness_confirmed_to_delivered envelo...	33m 3s
verify (verifyCrossChainReceiver.conf --rule disallowReceiverBridgeAdapters_cannot_allow disallow...	57m 23s
verify (verifyCrossChainReceiver.conf --rule reachability encodeDecodeWorks encodeDecodeWorks_wit...	8m 33s
verify (verifyCrossChainReceiver.conf --rule firstBridgedAt_happened_in_the_past)	55m 24s
verify (verifyCrossChainReceiver.conf --rule no_deliverEnvelope_after_receiveCrossChainMessage)	1h 7m 10s
verify (verifyCrossChainReceiver.conf --rule zero_firstBridgedAt_iff_not_received_from_msg_sender)	1h 15m 2s
	6h 17m 29s

Provide feedback