This check is not needed any more after https://crrev.com/c/3805887.

Plus minor drive-by reformatting.

R=tebbi@chromium.org

Change-Id: I4891b297b5c1a79e11338100a269e4682bc64085
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3805888
Commit-Queue: Clemens Backes <clemensb@chromium.org>
Reviewed-by: Tobias Tebbi <tebbi@chromium.org>
Cr-Commit-Position: refs/heads/main@{#82309}