Liberate fee payer account update outside of circuit

[L-as]

It should be a sum type of the current type and a full account update, in order to avoid the current hack of doing something different with it if the pk is empty.