Adding ghost reads for use in Fenix Framework

A note with regard to the transaction table method being public: this allows FF ISPN backend to implement a method to inject elements in the read-set when the ghost read is undesirable.