Merge pull request ethereum#10636 from ethereum/smt_fix_constant

Fix constant evaluation build

Merge pull request ethereum#10623 from ethereum/smt_const_expr

[SMTChecker] Apply const eval to arithmetic binary expressions

Merge pull request ethereum#10325 from ethereum/prepare075

Sort changelog for 0.7.5.

Merge pull request ethereum#10114 from ethereum/restructureBreaking

Re-structure list of breaking changes.

Merge pull request ethereum#10114 from ethereum/restructureBreaking

Re-structure list of breaking changes.

Merge pull request ethereum#10114 from ethereum/restructureBreaking

Re-structure list of breaking changes.

Merge pull request ethereum#10065 from ethereum/setReleaseDateFor074

Set release date for 0.7.4

Merge pull request ethereum#9975 from ethereum/prepareChangelog073

Set release date.

Merge pull request ethereum#9915 from ethereum/develop

Merge develop into release for 0.7.2

Merge pull request ethereum#9729 from ethereum/develop

Merge develop into release for 0.7.1