Added consistency test for Remove

This adds a consistency test to ensure that a remove is seen within a transaction with Serializable isolation level (GMU).

I used directly the web interface for the editing and pull request, was easy, but I hope I did not introduce any error (no compiler yet on github to ensure the added test is syntatically correct!).