Fix missed version bump, and add test that versions are in range. (#411)
Fix missed version bump, and add test that versions are in range. (#411)

Also emit newline before abort() so that stderr gets flushed.

Signed-off-by: Edward Z. Yang <dbd597f5635f432486c5d365e9bb585b3eaa1853@fb.com>
onnx/onnx,onnx/onnx,onnx/onnx,onnx/onnx