Fix local token replay limit, add global replay limit

[turbolent]

Description

The local replay was not correctly implemented:
An ambiguity does not just end when the buffered tokens are accepted, it also ends after replaying the buffered tokens and re-parsing using a different rule.
Explicitly state when an ambiguity starts and ends, and reset the local token replay limit.

In addition, add a global replay limit, as the local replay limit might not be sufficient in rejecting programs that are too ambiguous.

I parsed all Mainnet contracts using these changes and they all still parse.

TODO: Wrap errors in fatal errors, depends on #1660

---

• Targeted PR against master branch
• Linked to Github issue with discussion and accepted design OR link to spec that describes this work
• Code follows the standards mentioned here
• Updated relevant documentation
• Re-reviewed Files changed in the Github PR explorer
• Added appropriate labels

[github-actions]

Cadence Benchstat comparison

This branch with compared with the base branch onflow:master commit acc9090
The command for i in {1..N}; do go test ./... -run=XXX -bench=. -benchmem -shuffle=on; done was used.
Bench tests were run a total of 7 times on each branch.

Results

	old.txt	new.txt
	time/op		delta
CheckContractInterfaceFungibleTokenConformance-2	182µs ± 4%	183µs ± 3%	~	(p=0.805 n=7+7)
ContractInterfaceFungibleToken-2	50.8µs ± 3%	51.0µs ± 5%	~	(p=1.000 n=7+7)
InterpretRecursionFib-2	3.38ms ± 1%	3.44ms ± 3%	~	(p=0.181 n=6+7)
NewInterpreter/new_interpreter-2	1.36µs ± 6%	1.37µs ± 3%	~	(p=0.710 n=7+7)
NewInterpreter/new_sub-interpreter-2	2.76µs ± 6%	2.79µs ± 3%	~	(p=1.000 n=7+7)
ParseArray-2	10.3ms ± 5%	10.4ms ± 4%	~	(p=0.383 n=7+7)
ParseDeploy/byte_array-2	15.2ms ± 3%	15.4ms ± 3%	~	(p=0.209 n=7+7)
ParseDeploy/decode_hex-2	1.48ms ± 6%	1.49ms ± 2%	~	(p=0.902 n=7+7)
ParseFungibleToken/With_memory_metering-2	257µs ± 4%	262µs ± 2%	~	(p=0.128 n=7+7)
ParseFungibleToken/Without_memory_metering-2	200µs ± 3%	203µs ± 5%	~	(p=0.456 n=7+7)
ParseInfix-2	8.98µs ± 3%	9.13µs ± 4%	~	(p=0.209 n=7+7)
QualifiedIdentifierCreation/One_level-2	3.44ns ± 5%	3.47ns ± 5%	~	(p=0.833 n=7+7)
QualifiedIdentifierCreation/Three_levels-2	173ns ± 4%	180ns ± 3%	+4.01%	(p=0.014 n=7+6)
RuntimeFungibleTokenTransfer-2	1.59ms ±23%	1.74ms ±22%	~	(p=0.318 n=7+7)
RuntimeResourceDictionaryValues-2	8.31ms ± 5%	8.42ms ± 5%	~	(p=0.805 n=7+7)
Transfer-2	114ns ± 5%	113ns ± 3%	~	(p=0.929 n=7+7)
	alloc/op		delta
CheckContractInterfaceFungibleTokenConformance-2	66.3kB ± 0%	66.3kB ± 0%	~	(all equal)
ContractInterfaceFungibleToken-2	26.7kB ± 0%	26.7kB ± 0%	~	(p=1.000 n=7+7)
InterpretRecursionFib-2	1.25MB ± 0%	1.25MB ± 0%	~	(p=0.690 n=7+7)
NewInterpreter/new_interpreter-2	872B ± 0%	872B ± 0%	~	(all equal)
NewInterpreter/new_sub-interpreter-2	1.38kB ± 0%	1.38kB ± 0%	~	(all equal)
ParseArray-2	2.93MB ± 2%	2.96MB ± 2%	~	(p=0.383 n=7+7)
ParseDeploy/byte_array-2	4.26MB ± 4%	4.30MB ± 3%	~	(p=0.128 n=7+7)
ParseDeploy/decode_hex-2	213kB ± 0%	213kB ± 0%	~	(p=0.664 n=7+6)
ParseFungibleToken/With_memory_metering-2	36.3kB ± 0%	36.3kB ± 0%	+0.04%	(p=0.002 n=6+6)
ParseFungibleToken/Without_memory_metering-2	36.3kB ± 0%	36.3kB ± 0%	+0.07%	(p=0.003 n=7+5)
ParseInfix-2	2.15kB ± 0%	2.17kB ± 0%	+0.75%	(p=0.001 n=7+7)
QualifiedIdentifierCreation/One_level-2	0.00B	0.00B	~	(all equal)
QualifiedIdentifierCreation/Three_levels-2	64.0B ± 0%	64.0B ± 0%	~	(all equal)
RuntimeFungibleTokenTransfer-2	237kB ± 1%	237kB ± 0%	~	(p=1.000 n=7+7)
RuntimeResourceDictionaryValues-2	2.24MB ± 0%	2.24MB ± 0%	~	(p=0.710 n=7+7)
Transfer-2	48.0B ± 0%	48.0B ± 0%	~	(all equal)
	allocs/op		delta
CheckContractInterfaceFungibleTokenConformance-2	1.07k ± 0%	1.07k ± 0%	~	(all equal)
ContractInterfaceFungibleToken-2	460 ± 0%	460 ± 0%	~	(all equal)
InterpretRecursionFib-2	23.8k ± 0%	23.8k ± 0%	~	(all equal)
NewInterpreter/new_interpreter-2	12.0 ± 0%	12.0 ± 0%	~	(all equal)
NewInterpreter/new_sub-interpreter-2	40.0 ± 0%	40.0 ± 0%	~	(all equal)
ParseArray-2	70.0k ± 0%	70.0k ± 0%	~	(p=1.000 n=7+7)
ParseDeploy/byte_array-2	105k ± 0%	105k ± 0%	~	(p=1.000 n=7+7)
ParseDeploy/decode_hex-2	79.0 ± 0%	79.0 ± 0%	~	(all equal)
ParseFungibleToken/With_memory_metering-2	1.06k ± 0%	1.06k ± 0%	~	(all equal)
ParseFungibleToken/Without_memory_metering-2	1.06k ± 0%	1.06k ± 0%	~	(all equal)
ParseInfix-2	66.0 ± 0%	66.0 ± 0%	~	(all equal)
QualifiedIdentifierCreation/One_level-2	0.00	0.00	~	(all equal)
QualifiedIdentifierCreation/Three_levels-2	2.00 ± 0%	2.00 ± 0%	~	(all equal)
RuntimeFungibleTokenTransfer-2	4.58k ± 0%	4.58k ± 0%	~	(p=0.464 n=7+7)
RuntimeResourceDictionaryValues-2	37.6k ± 0%	37.6k ± 0%	~	(p=0.339 n=7+7)
Transfer-2	1.00 ± 0%	1.00 ± 0%	~	(all equal)

[codecov]

Codecov Report

Merging #1663 (cf0e7f9) into master (acc9090) will increase coverage by 0.01%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master    #1663      +/-   ##
==========================================
+ Coverage   76.49%   76.51%   +0.01%     
==========================================
  Files         291      291              
  Lines       61022    61049      +27     
==========================================
+ Hits        46679    46709      +30     
+ Misses      12731    12727       -4     
- Partials     1612     1613       +1     

Flag	Coverage Δ
unittests	76.51% <100.00%> (+0.01%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files	Coverage Δ
runtime/parser2/expression.go	92.99% <100.00%> (+0.01%)	⬆️
runtime/parser2/parser.go	91.93% <100.00%> (+0.54%)	⬆️
runtime/parser2/type.go	89.93% <0.00%> (+0.47%)	⬆️

---

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 acc9090...cf0e7f9. Read the comment docs.