Complete branches and approximation budgets

This is the local version of the approximation accounting described in CheungEn02B,CheungEn02C. A transfer allowance is a different statement: it compares the tested complete channel with the channel claimed elsewhere. It does not calibrate state preparation or measurement.