Exceptions are not propagated across submit.
We could fix that reasonably easily in Daml Studio but they are not exposed over the Ledger API (beyond in the string error message) atm and one of the guiding principles of Daml Script is to keep the behavior in Daml Studio aligned with what you can do over the Ledger API.