Making contracts `memory-safe` #368

Job	Run time
verify (verifyOwners.sh)	22m 4s
verify (verifySafe.sh)	7m 27s
verify (verifyModules.sh)	6m 37s
verify (verifyNativeTokenRefund.sh)	3m 36s
verify (verifySignatures.sh)	4m 27s
	44m 11s

Provide feedback