Making contracts `memory-safe` #390

Job	Run time
verify (verifyOwners.sh)	17m 24s
verify (verifySafe.sh)	7m 9s
verify (verifyModules.sh)	1h 0m 35s
verify (verifyNativeTokenRefund.sh)	3m 3s
verify (verifySignatures.sh)	5m 36s
	1h 33m 47s

Provide feedback