pub(crate) fn storage_mapping_root_slot(key: &Expr) -> Option<U256>
Returns the root Solidity storage slot for a mapping-style keccak key.