Verifying Heisenberg’s error-disturbance relation using a single trapped ion | Synapse