erts: Refactor BINARY_OVERFLOW_CHECK into IS_BINARY_SIZE_OK
erts: Refactor BINARY_OVERFLOW_CHECK into IS_BINARY_SIZE_OK

(git cherry-pick b867de7c9f9f374c5b6156599c44dfa800a488c6)

Don't like control flow hidden in macros if avoidable.

emacsmirror/erlang,emacsmirror/erlang,mikpe/otp,vinoski/otp,vinoski/otp,erlang/otp,bjorng/otp,vinoski/otp,mikpe/otp,erlang/otp,bjorng/otp,bjorng/otp,mikpe/otp,emacsmirror/erlang,vinoski/otp,g-andrade/otp,erlang/otp,emacsmirror/erlang,g-andrade/otp,erlang/otp,vinoski/otp,vinoski/otp,vinoski/otp,g-andrade/otp,mikpe/otp,g-andrade/otp,vinoski/otp,erlang/otp,erlang/otp,bjorng/otp,mikpe/otp,emacsmirror/erlang,emacsmirror/erlang,g-andrade/otp,erlang/otp,emacsmirror/erlang,bjorng/otp,vinoski/otp,g-andrade/otp,vinoski/otp,bjorng/otp,mikpe/otp,emacsmirror/erlang,g-andrade/otp,mikpe/otp,erlang/otp,g-andrade/otp,emacsmirror/erlang,mikpe/otp,erlang/otp,mikpe/otp,bjorng/otp,g-andrade/otp,erlang/otp,g-andrade/otp,bjorng/otp,bjorng/otp,emacsmirror/erlang,bjorng/otp,mikpe/otp