TestCategory only needs aldor, not algebra
fix name clash with times(3)
enable assertions during build, but make them non-fatal