Add assertions for balances not going negative to s_agent_transfer

[SeanMcOwen]

Want to add checks to make sure that we have no scenario where balances go negative for a transfer