Think more on tests for containers-readonly

[chshersh]

The tests are implemented in this module:

https://github.com/kowainik/containers-backpack/blob/master/containers-contrib-readonly/src/Map/Contrib/Laws.hs

Probably some tests are missing there. I propose to think more about all possible tests, document them in some mathy or unicode way and then add more tests if necessary.