llvm: Return the list of overrides that were applied

[langston-barrett]

This is useful for some downstream consumers, e.g., if you want to allow forward-declarations in Crucible-LLVM S-expression syntax programs that eventually resolve to overrides.

Also, improve documentation for all these functions.