add value iteration termination to package functions, example shown in Reed.md