fix CALL and BRANCH address labelling and flag invalid addresses