updated README with external repository directions for loading verification rules