Several fixes towards DEF-tx

* Early abort when not ghost reading
* Allow registration of ghost reads --- needed when writing without wanting to read
* Fix on DummyTx resources with DEF