pub fn validate_bal(
bal: &Vec<AccountChanges>,
transaction_count: usize,
expected_hash: Option<FixedBytes<32>>,
) -> Result<(), Report>Expand description
Validates the entire BAL before any values can enter the cache.
Callers must separately establish that the BAL and cache belong to the same immutable block.