fix(abci): Validators can propose blocks that exceed the gas limit.

[itsdevbear]

Description

Bug occurs when a transaction will exceed the gas limit but will still be within the maximum block size, causing the && condition to be false. This triggers the else which will add the transaction to the block but not check to ensure the gas it consumes keeps it within the limit.

---

Author Checklist

All items are required. Please add a note to the item if the item is not applicable and
please add links to any relevant follow up issues.

I have...

• included the correct type prefix in the PR title
• added ! to the type prefix if API or client breaking change
• targeted the correct branch (see PR Targeting)
• provided a link to the relevant issue or specification
• followed the guidelines for building modules
• included the necessary unit and integration tests
• added a changelog entry to CHANGELOG.md
• included comments for documenting Go code
• updated the relevant documentation or specification
• reviewed "Files changed" and left comments if necessary
• run make lint and make test
• confirmed all CI checks have passed

Reviewers Checklist

All items are required. Please add a note if the item is not applicable and please add
your handle next to the items reviewed if you only reviewed selected items.

I have...

• confirmed the correct type prefix in the PR title
• confirmed ! in the type prefix if API or client breaking change
• confirmed all author checklist items have been addressed
• reviewed state machine logic
• reviewed API design and naming
• reviewed documentation is accurate
• reviewed tests and test coverage
• manually tested (if applicable)

[itsdevbear]

@tac0turtle can we backport to 0.50?

[julienrbrt]

Can we harden this with a test?

[itsdevbear]

@julienrbrt test added

[julienrbrt]

lgtm!