Other fix: small issues (#8800) chore: fix test_assume_no_revert failing test (#8802) fix(forge bind): default to alloy (#8806) feat(cast/selectors): show function state mutability (#8804) feat: update soldeer 0 3 4 (#8777)