[boost] [contract] Differential Sandia's regression tests for C++11, C++14, etc.