Correcting BrachInstruction bug; added new exemple to test; Problem with invokeinterface add shift in bytecode; Must correct StakTable for verifier