Improve or reconsider our History API usage

In https://gitlab.com/eyeo/adblockplus/abc/webext-sdk/-/issues/109 we started treating URL changes by the history API like actually URL redirects. This has potential problems as pointed out by Sebastian and Andrea in that issue. We need to decide if we can mitigate some of them.