Function validate_with_state 

fn validate_with_state(
    msg: &SignedMessage,
    chain_config: &ChainConfig,
    cur_ts: &Tipset,
    sender_actor: &ActorState,
    expected_sequence: u64,
    local: bool,
) -> Result<bool, Error>

Check the message against the pre-resolved chain state.