WIP: Adds local importance sampling.  Seems buggy, test enters into an infinite loop or the like.
Fixes local importance sampling
Fixes typo in DepthBoundInference.scala
Merge branch 'master' into sstucki
using @sstucki important sampling. cannot go deep.
Merge remote-tracking branch 'origin/master' into manohar
Moves reify method out of monad for exact inference.
Adds test to check complexity of deferred checks.
Merge remote-tracking branch 'origin/master' into manohar
harder that it looks..