Thesis revision R7.

Results done.
Moved reflexive halting to appendix.
Moved 2nd gen estop to appendix.
Formatting and typos.