Solovay-Kitaev algorithm now fully functional