WyCS: reenabled the default verification check (for now).