CDSChecker: A Model Checker for C11 and C++11 Atomics