Combining Tests and Proofs with Contracts for Better Software Verification