Fix lost update anomaly

[Pekka Enberg]

There's a test_lost_update() test that's disabled because we don't detect the write-write conflict and abort later transactions.