Add serialization tests for additional types

[secure-sw-dev-bot]

This issue was copied from checkedc/checkedc-clang#106

---

From issue #102:

As a follow up item, could you add additional tests for Ptr types, function pointer types, checked arrays, and structures with checked members that have bounds declarations? I would like to test that those types are serialized properly.

Issue #104 already covers structure types.