You say this: "Looking at instruction encodings, ‘ROR r0, #0’ should be the same as ‘RRX r0, r0’.", but don't you mean ROR, r0, #1? Since RRX is a shift of 1.
What does the license of the product have to do with the output of the product? You can use GIMP and GCC commercially, for example and libraries used with GCC often have runtime exemptions for their output
1600Nm is the engine torque for the Chiron. The 10000Nm value Tesla gave is the wheel torque. You need to multiply the 1600Nm by the gear ratio to get the wheel torque.