A random constraint verification library based on proto and buddy