Additional correctness tests and "nasty" generator

These tests were fixed in various commits in the cluster_develop_dlb_paul
branch during August 2020 (see comments in some of the tests specifying when
they were fixed). Most of these tests were generated using versions of the
"nasty.py" test generator..