Updated README with info on short-curcuit evaluation