A new certifier runs up to 1000 times faster for robot pose problems. — Synthesis