So I tried this in version 184.108.40.206, everything verified and generated OK.
I then ran the DB upgrader, and tested.
An exception was thrown complaining that the stored procedure does not exist. I checked to make sure it was not set to existing, and was set to Generate.
I do not know why the installer did not install the SP, and I cannot find an sql file in the project to match.