Make reverts rules shorter using double implication #124

Job	Run time
Certora (buffer)	1m 56s
Certora (vault)	4m 2s
Certora (roles)	1m 36s
Certora (oracle)	1m 45s
Certora (registry)	2m 29s
Certora (swapper)	1m 8s
Certora (depositoruniv3)	1m 49s
Certora (stable-swapper)	3m 40s
Certora (stable-depositoruniv3)	1m 36s
Certora (conduit-mover)	56s
	20m 57s

Provide feedback