Re-enable assertion now the new type checker is in