Log the rbc when registers diverge.

Trivial patch in service of #544.