upgrade Slither to 1.0.0!