Dependable Dynamic Checkpoints for Batteryless Devices