Build the full unproven Transaction for proof server submission. Lower-level primitive for ConnectedAPI callers.