Referencables verifer

Not 100% done, but can we finish after fixing other bugs?