WyIL: Fixed bug in WyiFileWriter #435.

The WyilFileWriter was not correctly writing out the number of pre- or
post-condition blocks when there was more than one.
WyC: Bug fix for precondition generation #435.

There was a minor bug in the way that preconditions were being
generated.  This was causing issues during verification.