Define RBJIT_ASSUME
Implement ControlFlowGraph::checkSanity
Modify RBJIT_UNREACHABLE to use RBJIT_ASSUME
Implement VCALL
Added CodeDuplicator::entry and exit to obtain the copied cfg's entry and exit blocks
Added TypeRecursion as subclass of TypeConstraint for analyzing recursive methods
Some rewrites
Remove RBJIT_ASSERT instances and replace them with assert