small fix in blame-update and small change in error message for multiple blame labels
extending option contracts; now handle procedures, vectors, hashes, struct instances, adding support for invariants for vectors, hashes and struct instances
tests for option contracts
docs for option contracts