Auto-configure test environment; verify reachability of CAS servers.

Also update the test procedure described in the README.