[FEAT] General symbolic data approach

[Stevengre]

we can use something like

    let base_account = Account::default();
    let acc = AccountInfo::from_account(base_account.clone());
    cheatcode_symbolic(acc)

to make the value totally symbolic.