Combine STCT and WFCT into the Execute circuit

[xevisalle]

Summary

Phoenix 2.0 provides a new circuit that allows us to have a single circuit both for sending money to other users, as well as contracts. We should implement this circuit as explained in the specs (WIP).