tracking(http): HTTP request parsing

[Autoparallel]

Idea

We want to be able to parse specific sections for HTTP requests and prove statements about them. This page has a lot of relevant data. Thanks, Mozilla!

The below tasks aren't necessarily broken across perfect boundaries. Instead, they're stages of complexity of parsing more and more rich HTTP.

Tasks

• feat(http): parse headers into request, general, representation #54
• feat(http): proof template HTTP request method matches #53
• feat(http): proof template Host matches #55
• feat(http): proof template arbitrary Headers matches #56
• feat(http): proof template body structure parses (e.g., JSON) #57