Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance