Add constraint checking validation benchmarks

[moltar]

Originally this project was started with libraries that had support for constraint checking (e.g. minimum number or max string length).

But I had removed it in 61b353c:

• to allow for more libraries to be included that only had type checking capability
• because I did not like the way it was designed and wanted to redesign it later

This issue is an open discussion for finding a common denominator for most packages that we could benchmark. A set of functionality that is widely supported, yet is not too shallow.