Introduce separate axiom verification Makefile targets for 8-bit and 16-bit cases

[anton-trunov]

E.g. make verify8 and make verify16 with make verify depending on the two previous build targets.

Related issue: #13