Pascal can definitely produce small binaries (and it looks like it does dead code elimination, under the name “smartlinking” [0]), so it may be a limitation of the WASM backend like you said or not enabled for some reason.

[0]: https://www.freepascal.org/docs-html/user/userse13.html