makefile: add ivory-quickcheck target

* lee broke the build
bump todos and submodules. lots of aadl issues fixed