Removed asynchronous asserter, as that was shown to decrease performance.
Now cancels f-in-b infer when the goal is derived. Also prints intermediate inference for forward infer.