To get the most value out of our unit tests, I think we need to be able to write some property based tests. #7624 is something that slipped through the cracks. @edolstra's fix pointed out the relationship with checkName --- an excellent point and one that I hadn't thought of when working on OutputSpec (and causing the bug). It would be great to have a property test explicitly relating the two.

I did some quick searching and https://github.com/emil-e/rapidcheck/blob/master/doc/gtest.md looks like something that works with googletest. I guess we can try that?

CC @roberth