Bundled upstream support

Supporting files are included at skill-relative paths. See UPSTREAM-NOTICE.md for their pinned sources, licenses, hashes, and import changes.

Constant-Time Analysis

Analyze cryptographic code to detect operations that leak secret data through execution timing variations.