add specs for the dice and user state machines