Throttle ADR

[shaspitz]

Description

Removes throttle.md in favor of a more complete ADR for throttling

Linked issues

Closes: #615
See cosmos/ibc#924 for changes to spec needed for throttling

Type of change

• Docs: Adds documentation

[shaspitz]

@ivan-gavran I've incorporated my understanding of your invariant derivation into this PR, hopefully the intuition section is now more understandable

[ivan-gavran]

@ivan-gavran I've incorporated my understanding of your invariant derivation into this PR, hopefully the intuition section is now more understandable

Cool! It is indeed much clearer now. I noticed a few things that could still be improved and created a PR since I don't have access to push directly. Ping me if you want to discuss the changes.

One question occurred to me: why not using Latex rendering that Github supports now for ADRs?

Finally, a bit of nitpicking: why calling the property you are describing an invariant? An invariant would be something that holds always (e.g., a simple one, it is always the case that the meter's value is smaller than its allowance), whereas what you are describing here is a property.

[shaspitz]

@ivan-gavran I've incorporated my understanding of your invariant derivation into this PR, hopefully the intuition section is now more understandable

Cool! It is indeed much clearer now. I noticed a few things that could still be improved and created a PR since I don't have access to push directly. Ping me if you want to discuss the changes.

One question occurred to me: why not using Latex rendering that Github supports now for ADRs?

Finally, a bit of nitpicking: why calling the property you are describing an invariant? An invariant would be something that holds always (e.g., a simple one, it is always the case that the meter's value is smaller than its allowance), whereas what you are describing here is a property.

Thanks for the feedback! On latex rendering, I wasn't aware of this, I'll take a look 👍

On property vs invariant, I agree with your suggestion and have changed instances of "invariant" to "property"

[jtremback]

LGTM