A Lower Bound on Adiabatic Heating of Compressed Turbulence for Simulation and Model Validation