Certora

Refactor: make `DssVestSuckable.join` a constructor parameter #117

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
Certora (mintable)	11m 12s
Certora (suckable)	17m 33s
Certora (transferrable)	10m 34s
	39m 19s