Other chore: make clippy happy (#8515) fix: respect profiles in inline configs (#8514) feat(cast,common): calldata-decode, abi-decode, and 4byte-decode json flag (#8494) fix: some verify-bytecode fixes (#8513)