Merge pull request argotorg#10852 from ethereum/setReleaseDate

Set release date for 0.8.1.

Merge pull request argotorg#10636 from ethereum/smt_fix_constant

Fix constant evaluation build

Merge pull request argotorg#10623 from ethereum/smt_const_expr

[SMTChecker] Apply const eval to arithmetic binary expressions

Merge pull request argotorg#10325 from ethereum/prepare075

Sort changelog for 0.7.5.

Merge pull request argotorg#10114 from ethereum/restructureBreaking

Re-structure list of breaking changes.

Merge pull request argotorg#10114 from ethereum/restructureBreaking

Re-structure list of breaking changes.

Merge pull request argotorg#10114 from ethereum/restructureBreaking

Re-structure list of breaking changes.

Merge pull request argotorg#10065 from ethereum/setReleaseDateFor074

Set release date for 0.7.4

Merge pull request argotorg#9975 from ethereum/prepareChangelog073

Set release date.

Merge pull request argotorg#9915 from ethereum/develop

Merge develop into release for 0.7.2