(Binary Semantics) Semantic RiscOperator objects have run-time names

This is mostly for diagnostics and debugging.
(Binary Analysis) Multi-semantics tests for the new API