Split stackelberg into modified and original for stackelberg verfication

[jmdha]

The modified version has changed follower search, such that it returns invalid in case of timeout. However, this is different behavior than original.