Institutionalize the way hanoi_level handles RPC. This is embodied in a new module, which should be pushed to plain_fsm, but we'll keep it here for now.
