Add check for undefined behavior using miri, etc.

[hansonchar]

Issue #, if available:

Description of changes:

1. Add check for undefined behavior using miri
2. Parallelize jobs
3. Add check on mac

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.

Check any applicable:

• [ ] Were any files moved? Moving files changes their URL, which breaks all hyperlinks to the files.