move dev-util/flint dev-util/flint-checker