Add remaining empty test files to project.
Start adding test section names, i.e. (* constants tests *) to all test files.

Signed-off-by: Eric Taucher <Researcher0x00@gmail.com>
Merge branch 'master' of https://github.com/jack-pappas/NHol