Tidying up scripts a bit.
Silenced output for clean target.
Fleshed out model checking a bit.