Hey there,
An MX HA pair is an active-passive pair of two identical devices.
You will require only 1 license for the pair.
It would be a much better idea to have both MX'es connect to both ISP's especially if you want to use the virtual WAN IP function. You can use upstream switching to accomplish this.
All config happens in dashboard and will be applied to both. Only the active MX will respond to DHCP messages.
If you can use a stack of L3 switches that would be even better because you cannot have static ECMP routes from your MX'es to downstream devices like L3 switches.
The recommended cabling setup is by connecting each MX to each L3 switch directly on the same VLAN. No connections are required between the MX'es themselves. And the link between the L3 switches should be a stack (physical or virtual(flexible)).
In case of non Meraki VPN's (VPN's from this MX to external partners) they will be made on the primary uplink if online and on the virtual IP if you use this feature.
In case of Meraki VPN's you can use both WAN's simultaneously to do SD-WAN uplinks to other locations that are also in your Meraki dashboard. These will also use the virtual IP on each WAN of the active device.
The virtual IP will move to the spare device if the primary fails while both devices each have their own physical uplink IP.
InterVLAN switching will make it so that traffic does not reach the MX devices. If you really want that you will need to not make an interface on the L3 switch and have the VLAN on the trunk between L3 switches and MX'es.