Add additional checks for Accounts[1] to the validator app.

Checks for gtxn[1]Accounts[1] must be in the validator app as it is responsible for state.
Redundant checks in pool_logicsig.teal.tmpl are kept to reduce code changes as they cause no harm.

Update oracle calculations to gracefully skip the update if the calculation would cause an overflow.