Verification of Information Thermodynamics in a Trapped Ion System