Test that https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp/merge_requests/38 doesn't regress, and also add some tests for solve_proper because I remember being annoyed at some point that I had to go all the way to Iris to test even the most basic functionality.