Various attempts at integrating random testing with CoQ