Added check for external black square in contradiction
Also, added proof that shows serious slowdown in nurikabe
Merge branch 'master' of https://github.com/Bram28/LEGUP