Fixing bugs in naive-lazy-scheduling version and in error-checking for
eager-steal-half