Simplify jump optimizer and make slightly more general #603

Closed oflatt closed 4 months ago