Contracts: add withdrawal flow to both evm contract and solana program

[nfurfaro]

Some of the functionality is already there but is commented out.

• review deposits: should we make them 2-stage? cc @pixelcircuits
• add 2-stage withdrawals
• verify proofs?