Add RFC for bounded recursion.

[acoglio]

This is an initial draft. As with the strings RFC, it does not have finalized before merging this. So at this stage approval of the PR just means 'okay to merge into master', without precluding the ability to edit it further (via more PRs).

[gluax]

LGTM!

[codecov]

Codecov Report

Merging #1011 (6dd93fc) into master (5cd05d7) will increase coverage by 0.45%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master    #1011      +/-   ##
==========================================
+ Coverage   75.35%   75.81%   +0.45%     
==========================================
  Files         438      438              
  Lines       17586    17612      +26     
==========================================
+ Hits        13252    13352     +100     
+ Misses       4334     4260      -74     

Impacted Files	Coverage Δ
leo/commands/setup.rs	98.14% <0.00%> (ø)
compiler/src/value/address/address.rs	66.29% <0.00%> (ø)
compiler/src/value/field/field_type.rs	90.47% <0.00%> (ø)
compiler/src/value/group/targets/edwards_bls12.rs	55.49% <0.00%> (ø)
compiler/src/statement/assign/assignee/mod.rs	90.00% <0.00%> (+0.63%)	⬆️
compiler/src/value/integer/integer.rs	81.81% <0.00%> (+1.26%)	⬆️
asg/src/const_value.rs	59.04% <0.00%> (+4.25%)	⬆️
compiler/src/value/value.rs	79.83% <0.00%> (+5.88%)	⬆️
compiler/src/expression/array/access.rs	50.41% <0.00%> (+28.09%)	⬆️
...piler/src/statement/assign/assignee/array_index.rs	89.47% <0.00%> (+59.92%)	⬆️

---

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 e1b59a2...6dd93fc. Read the comment docs.

[bendyarm]

Looks good! After this is accepted, let's add the details about how the user specifies these limits and exactly how they affect the compiler.