TWM does not work with fine locks as-is.

* Added a test case that shows the problem.
* Briefly, a transaction is not ensured to do the visible reads and commit without another one committing in the meantime. This can lead to another concurrent transaction missing a rw edge.