Markov model: fix arbitrage check, make update method public