WIP: Enables (and passes) all tests except AppendModelTest.
WIP: Fixes interface issues and adds conditional probabilities.
WIP: Adds simple rejection based sampling (needs test cases).
WIP: Implements depth-bound inference partially implements AppendModelTest.
Adds commitment for RandVarFlatMap in exact and depth-bound inference to avoid multiple evaluations and updates tests.
Removes obsolete OddsCoreLazy file.
Fixes rejection sampler and adds test case.
Removes container trait of CommittedChoice.