fixed some reduced traces rpython things
reduced traces mem no longer throws error (but doesnt work)
some changes to thesis doc
writeup stuff