Uhhhhh that's exactly what I think happened yes. Maven was blind luck but of course you'd want to bus that hard, his slot wasn't doing you any favors. Bardull's was hardly any more useful since he was under heavy suspicion and his claim put an expiration date on himself (mafia would kill him if he were town or town would lynch him based off his play/the fact the claimed investigation role was somehow pumping out clears with no resistance).
I actually don't like using this part but I feel like its important. There was next to no 'buffer' time between where Gheb shot and the flip was revealed. Its possible that the ability is compulsory, but a role that auto-jans any killed player (only one at a time apparently though) would barely be worth having since it would just delay town, not actually put them off track. Bear in mind this game is heavily inspired by my own, and weak PRs like that don't fit the bill at all. Now an ability where any kill GHEB is responsible for is jan'd makes a LOT more sense from a setup perspective.