adding logic for less brute-force inference. current compromise is forawrd,reverse,final sweep, doesn't seem to need the stupid behaviour we had before. this is still a 3x performance hit, but at least its bounded..
found loose ends in resolve flags. still need a dedicated verify to track them all down