fake_player: remove dead code
betting_spec: clean up the work-in-progress specs
fake_player: add missing assertion on bet withdrawal
betting: work in progress