No they won't (or maybe they will be able to be speculatively opt-deopt?) Value types above a relatively small size are less efficient than references.

Yes, just add 'primitive' before record in the declaration.