add docs on optimisation
GC tweaking and re-added trace code
optimisation

we no longer have an O(nstates) element during the run