Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks