Backend: if serialization of an object failed, then don't try to append it to
the recording object's list of inputs.
Backend: add JSONInputEncoder branches to call encode() methods for
GetCurrentTime and SetRandomSeed.