master binary is too large for pico

[pguyot]

We need to check this on CI.

Reported by westbaystars on Discord.

Welcome to minicom 2.10

OPTIONS:
Compiled on Feb 22 2025, 10:10:35.
Port /dev/tty.usbmodem113301, 11:52:15 [F]

Press Meta-Z for help on special keys


    ###########################################################

       ###    ########  #######  ##     ## ##     ## ##     ##
      ## ##      ##    ##     ## ###   ### ##     ## ###   ###
     ##   ##     ##    ##     ## #### #### ##     ## #### ####
    ##     ##    ##    ##     ## ## ### ## ##     ## ## ### ##
    #########    ##    ##     ## ##     ##  ##   ##  ##     ##
    ##     ##    ##    ##     ## ##     ##   ## ##   ##     ##
    ##     ##    ##     #######  ##     ##    ###    ##     ##

    ###########################################################

Starting AtomVM revision 0.7.0-dev+git.b7cd284f
This VM is too large (end 0x101009f0 >= LIB_AVM 0x10100000), please update LIB_AVM
Aborted
AtomVM application terminated.  Going to sleep forever ...