DFTL now seems to be working, without application reads.
Speed optimisations or the simulation are possible.
There may still be bugs.