Hey there, this project looks really great! There seems to be some overlap with the Hypothesis-Auto[1] project. Have you looked into collaborating with Tim and perhaps merging your work together? It seems like it would be very powerful!
However, it would be very interesting to see if a closer integration of symbolic and sampling methodologies is possible.