Making contracts `memory-safe` #370

Job	Run time
verify (verifyOwners.sh)	15m 40s
verify (verifySafe.sh)	9m 16s
verify (verifyModules.sh)	1h 21m 41s
verify (verifyNativeTokenRefund.sh)	6m 53s
verify (verifySignatures.sh)	4m 38s
	1h 58m 8s

Provide feedback