Feature request: allocate more time when minimizing long inputs

This was requested in https://bugs.chromium.org/p/chromium/issues/detail?id=997940, //cc @pwnall

I think we're currently using a constant timeout for minimization. Should we consider increasing it for large testcases and maybe decreasing for smaller ones?