filter non-proof entries quicker
merge pending analysis steps into a single proof if possible

This speeds up the analysis quite significantly, avoiding per-step analysis
Merge branch 'zeves-tracker-performance'