Set Spill hole in rocksimTestRocket3.rkt to 1.0 so the loader will
generate the warning.  I had changed generation of the SpillHole warning
to only be issued if the diameter is > 0.