Scaling the Harmony Protocol with Light Clients