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.