Just an FYI, my product solves yours and your parent post wish:
http://gitsense.github.io/
Search/code management metrics are done at the branch level and there will be case-sensitive searches. The indexers are already building case sensitive indexes, it's just that it hasn't been enabled.
Unfortunately I can't say when the indexer will be available for private use at the moment.
Edit:
Forgot to mention that because the indexing is done at the branch level, searching across branches to verify what is/isn't present is pretty trivial like the following example:
http://gitsense.github.io/images/gitsense-on-4.png