Unit testing for Coq.