small fixes

(done with Rasmus)
small speedup in lvar match heuristic

(with Rasmus)
speedups, and some profiling helpers
some speedup

an example that took 4min two days ago now takes 20s

with Rasmus&Nikos
some more optimizations
merge with alt-abd branch