Fix type errors in net/http source files for RBS compatibility

Adjust library code to make dynamic behavior explicit for the type
checker with small, behavior-preserving changes: add local narrowing,
nil guards, key coercions, read_body call shaping, and a few
compatibility-focused internal fixes.

Author: sferik