testing: use `@test` instead of `@assert` everywhere.