The behavior of protocol analyzers in regards to how they were handling BinPAC exceptions was rather inconsistent. In some cases, it'd be a weird, in other cases, it'd be a protocol violation. A couple of cases would just use printf.
The branch topic/vladg/fix_binpac_proto_violation is very straightforward and makes them all raise protocol violations. No changes were observed to the test suite.