periodically checkpoint based on executed instructions