no `down` is not verifying anything. Also that no exception is raised does not mean the column is removed. For example look at issue #13576. There `up` and `down` both work but `down` does not perform as expected.

You can use `connection.columns(table_name)` to get the columns.