use VtimesQ in Lanczos::Check()