Scaladoc for 2.2 Part 1

-Updated scaladoc for assert and assume for newly supported expressions.
-Added note for Bool and DiagrammedExpr that they are not intended to be used directly by users.