Clarify the API description of the Fact function

[gillenhaalb]

The description here of "declares if a classical condition is true" isn't very clear. From what I understand, if the classical condition is true, nothing happens and computation is continued, whereas if false, it aborts computation and no further Q# code is run. The failure/abort point could be highlighted.