Test suite for the Z3 theorem prover.