Ready to verify some F* code.