Dropped <=v8.11 because:
1) #[export] not supported but needed
2) Some definitions we use (e.g. Bool.le) do not exist in before
   v8.12.

Both problems are fixable but it is probably not worth the effort.