Add individual program length checks into updateApplication

[algorandskiy]

Summary

updateApplication does not enforce individual program length but looks like it should. This PR enforces that.

Test Plan

Added tests

[jannotti]

Isn't this enough, in WellFormed?

		lap := len(tx.ApprovalProgram)
		lcs := len(tx.ClearStateProgram)
		pages := int(1 + effectiveEPP)
		if lap > pages*proto.MaxAppProgramLen {
			return fmt.Errorf("approval program too long. max len %d bytes", pages*proto.MaxAppProgramLen)
		}
		if lcs > pages*proto.MaxAppProgramLen {
			return fmt.Errorf("clear state program too long. max len %d bytes", pages*proto.MaxAppProgramLen)
		}

I suppose not, since effectiveEPP is "conservative" in the sense that it can be set higher than a tight bound.

[codecov-commenter]

Codecov Report

Merging #2699 (78e28e9) into master (f3671c0) will increase coverage by 0.00%.
The diff coverage is 100.00%.

@@           Coverage Diff           @@
##           master    #2699   +/-   ##
=======================================
  Coverage   47.09%   47.09%           
=======================================
  Files         349      349           
  Lines       55882    55887    +5     
=======================================
+ Hits        26315    26319    +4     
- Misses      26619    26620    +1     
  Partials     2948     2948           

Impacted Files	Coverage Δ
ledger/apply/application.go	81.06% <100.00%> (+0.47%)	⬆️
agreement/cryptoVerifier.go	75.73% <0.00%> (-2.21%)	⬇️
crypto/merkletrie/trie.go	66.42% <0.00%> (-2.19%)	⬇️
agreement/proposalManager.go	96.07% <0.00%> (-1.97%)	⬇️
crypto/merkletrie/node.go	91.62% <0.00%> (-1.87%)	⬇️
ledger/acctupdates.go	61.88% <0.00%> (-0.17%)	⬇️
data/transactions/verify/txn.go	48.45% <0.00%> (ø)
catchup/service.go	69.35% <0.00%> (+0.77%)	⬆️
ledger/blockqueue.go	82.18% <0.00%> (+1.14%)	⬆️
network/wsPeer.go	77.15% <0.00%> (+2.22%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update f3671c0...78e28e9. Read the comment docs.