feat: change default prefix to `check_` (#141) #47

Job	Run time
test (morpho-org/morpho-data-structures, morpho-data-structures, halmos --function testProve --lo...	3m 9s
test (a16z/cicada, cicada, halmos --contract LibUint1024Test --function testProve --loop 256)	11m 47s
test (a16z/cicada, cicada, halmos --contract LibPrimeTest --function testProve --loop 256)	31m 36s
test (farcasterxyz/contracts, farcaster-contracts, halmos --function check, test/halmos)	15m 59s
	1h 2m 31s

Provide feedback