new test, currently failing, and a warning
example of monadic arbitrary
the problem here is that GridBounds fails on the empty Grid