main: merge pat/lee wibbles.
cbmc: build integration.