Thread RNG state + laziness slowdown fix

Works on latest master of Idris at acceptable speed.
Fix partiality annotations