Issue: spec updated to make sure remarks can be set via the initializer  [Issue #209]
Auditor#log: Updated to propagate Issue remarks [Issue #209]
Taint analysis: Updated to add remarks for issues that require verification [Issue #209]
Auditor#log spec: Updated to use #remarks instead of the #[] accessor [Issue #209]