Add a binary size checker

Closes #6693

See merge request !7760



Merged-by: Eric Ju <eju@gitlab.com>
Approved-by: John Cai <jcai@gitlab.com>