> OTOH I think there are theoretical lower bounds on the amount of energy that needs to be ejected as heat from a non-reversible computation, such that a non-reversible SC would still need to produce some heat.
Yes, it's called Landauer's principle, but it's so low it can be ignored for most intent and purposes.