Github CI validation doesn't build a version with `--disable-tests`

[sisuresh]

Github CI validation doesn't build a version with --disable-tests, which can leads to us merging in a change that only works as a test build, and then fails to compile in Jenkins. We should add a step that just builds core configured with --disable-tests.