Remove no-op "assert true".
More assertions migrated.