Add tests for veracpp-cmake