Minor tweaks; about to write final bis of liveness pass
Lotta work. Liveness pass now outputting formatted results