Resolve blocking padding-related TODOs

Nick Mathewsonrequested to merge
nickm/arti:simple_circpad_todos into main

These TODOs are either trivial to fix, or related to correctness.

Merge request reports