Migrate tests to version 1.0.0 of ceylon.test