OP_FALSE is needed due to a bug in OP_CHECKMULTISIG. See https://en.bitcoin.it/wiki/Script#Crypto "Due to a bug, one extra unused value is removed from the stack." No, this bug should not be fixed

Another visualization of script execution: https://curiosity-driven.org/bitcoin-contracts See: Escrow - Executing script.