Added -DNDEBUG flag for mcrl2-greybox.cpp
Added -DNDEBUG flag for mcrl2-greybox.cpp

advice from Wieger Wesselink to prevent expensive assert checking

utwente-fmt/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin,buschko/ltsmin,Sybe/composition,vbloemen/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,thedobs/LTSmin,utwente-fmt/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,buschko/ltsmin,buschko/ltsmin,lordqwerty/ltsmin,trolando/ltsmin,Meijuh/ltsmin,lordqwerty/ltsmin,alaarman/ltsmin,Sybe/composition,alaarman/ltsmin,buschko/ltsmin,vbloemen/ltsmin,thedobs/LTSmin,trolando/ltsmin,lordqwerty/ltsmin,thedobs/LTSmin,Sybe/composition,trolando/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,Sybe/composition,lordqwerty/ltsmin,trolando/ltsmin,alaarman/ltsmin,thedobs/LTSmin,Meijuh/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin