Gerard Holzmann has just published an article "Randomly Right": IEEE Software ( Volume: 34, Issue: 5, 2017 )
Holzmann worked at Bell Labs for about 20 years, then at NASA. He created the Spin system for model checking software systems.
The article "Randomly Right" describes a software system (FeaVer - Feature Verification) which creates a checkable model from 'C' code. It then assigns random inputs to copies of the model and runs each model in parallel to smoke out problems.
Since Nim has 'C' as its intermediate language, it might be reasonable to put a couple of graduate students to work on creating a companion tool for Nim that could test Nim programs as they are being developed. FeaVer is a good starting point.
Have fun
It's from 1999.
It would probably be better to work directly with a current Nim native library like Design by contract https://forum.nim-lang.org/t/2479.
Also I'd rather have those graduate students develop actual libraries (with unit tests and continuous integration). I don't think there are any Nim project with the scale for FeaVer not to be overengineering.
Also I'm guessing lots of the tests are rendered moot by Nim static checking.