CI and type safety improvements

This minor patch release includes the switch from Circle CI to Github Actions along with a few improvements to how types are hinted, for static analysis improvement.