goTo was wantonly destroying the proof state, so jump was hideously broken
goTo was wantonly destroying the proof state, so jump was hideously broken

mietek/epigram2,larrytheliquid/pigit,mietek/epigram2