This commit fills in gaps in the automated testing for features that already have checks in #1.
More specifically, additional testing was created for unchecked casting, type adoption of interfaces, field set (void), array creation, and appending the synthetic modifier. (commit: cac7ab1)