add failing tests for new pass simplify_instructions
simplify_instructions can transform a copy into a set_from_constant when possible
simplify_instructions can transform jump_if(_not) into jump when the condition is a known integer