feat(tools/codegen/code_bmc): add const fold.
fix(tools/codegen/code_bmc): add variable initialization.
fix(code_bmc.ml): add variable bound.
fix(code_bmc): allow specify time bound in code and option
fix(realpaver/rp_interval.cpp): add more debug info