Add HLanc_solver and verify_eigs as demo tools.