It would allow better integration with those who prefer `Assert`ing with their test libraries, instead of using FsCheck properties.