Het is 2026 en het verifiëren van een slim contract dat is gecompileerd met viaIR voelt nog steeds als tovenarij op het niveau van Hogwarts.