Adding short-circuit mode to hvm; Fixing SegFault on dep_chain_tests;