Minor README updates for macOS (runtimeverification#1202)

Co-authored-by: rv-jenkins <[email protected]>

kevm: fix pyk-minimize (runtimeverification#1200)

* kevm: fix pyk-minimize

* scripts/kevm_pyk/solc_to_k: remove unknownBool

Co-authored-by: Everett Hildenbrandt <[email protected]>

Actually include function selector aliases in generated K (runtimever…

…ification#1198)

Update dependency: deps/k (runtimeverification#1196)

Update dependency: deps/k (runtimeverification#1193)

* deps/k: b5d23acaa - Set Version: 5.2.82

* deps/k: 282526d27 - Set Version: 5.2.83

* deps/k: 3d7f8b36e - Set Version: 5.2.84

* deps/k: eb1fef3f5 - Set Version: 5.2.85

Fix kevm_pyk packaging (runtimeverification#1194)

* Makefile: include kevm_pyk library in KEVM installation

* !!! Jenkinsfile: debugging

* package/test-package: make sure we are using package installed kevm_pyk

* Jenkinsfile, package/test-package: set up testing environment in Jenkinsfile

* Revert "!!! Jenkinsfile: debugging"

This reverts commit 6f13808.

* Makefile: fix build-kevm

* kevm_pyk/solc_to_k: typo

* Makefile, scripts: move all python files into subfolder

* !!! Jenkinsfile: debugging

* Jenkinsfile: no need to remove kevm_pyk anymore

* Revert "!!! Jenkinsfile: debugging"

This reverts commit df66958.

Update dependency: deps/k (runtimeverification#1185)

* deps/k: cd20fef8b - Set Version: 5.2.71

* deps/k: 2e00eb444 - Set Version: 5.2.78

* deps/k: a4165676e - Set Version: 5.2.79

* deps/k: d4cb80ed4 - Set Version: 5.2.80

* deps/k: 6fbf87280 - Set Version: 5.2.81

London schedule update (runtimeverification#1187)

* EIP-3529: Reduction in refunds

https://eips.ethereum.org/EIPS/eip-3529

* Explicit transaction type production symbols

* Revert "Explicit transaction type production symbols"

This reverts commit 8774691.

* EIP-1559: Add DynamicFee transaction type

* EIP-1559: Compute effective gas price

* Update tests/ethereum-tests to first commit with EIP-1559

* LONDON: small changes

* LONDON: update ethereum-tests to 9.0.5

* EIP-3198: first draft

* EIP-3541: first draft

* LONDON: rlp encoding/decoding for tests

* EIP-3541: Use schedule flag instead of constant

* EIP-1559: Store effective gas price into immutable transaction state

* EIP-1559: Burn the base fee

* Formatting

* tests/specs: Add <baseFee> cell

* add missing BaseFeeCells

* tests/failing: Update expected configuration

* Formatting suggestions

* driver.md: Slight rework of checking transaction type

* evm.md: Use impliesBool for #isValidCode

* tests/failing: Update expected for new cell layout

* #effectiveGasPrice: Use parens to clear up a compound logical expression

Co-authored-by: Andrei <[email protected]>
Co-authored-by: anvacaru <[email protected]>

Fix `solc-to-k` for contracts with zero variables (runtimeverificatio…

…n#1186)

Update dependency: deps/k (runtimeverification#1184)