aes app: wibbles.
build system wibbles for model-checking.