This is so slow I can't even figure out if it works
Add deutsch jozsa example
Merge remote-tracking branch 'origin/master' into factoring
Make the system-validation more trivial