feat(explicit assertions): enable advanced string types and integer ranges

[simPod]

• require slevomat/coding-standard v8.5.1

Follows up #47 and adds support for more types

[simPod]

@kukulich I think the new option is broken. See simPod#17 where it's reproduced (simPod@6cd3856).

Enabling new options changes the behaviour so e.g.

/** @var Type $simpleType */
$simpleType = expression();

is transformed like

 $simpleType = expression();
-assert($simpleType instanceof Type);
+assert(is_string($simpleType));

assert($simpleType instanceof Type); was correct.

[kukulich]

@simPod Please upgrade to 8.5.1 - yes, stupid mistake.