Some cleanups around input object checking

[lxfind]

This PR cleans up some logic when checking input objects:

1. Check gas object immutability early, instead of waiting till transaction execution phase to find out.
2. Use full transfer eligibility on the transfer object, which would check a bunch of different things
3. Make sure we don't use move package as object
4. Rename SharedMoveObject and OwnedMoveObject in input object kind to make them more accurate.

[huitseeker]

Overall this makes sense to me!

[huitseeker]

A lot of these are due to reordering of the error types,

• this is bound to create a ton of churn as new enum options introduced early in the giant SuiError enum invalidate everything,
• we do generate a single error type for everything.

Here's an example of consequence this churn can have.
=> do we want to open an issue to start breaking up the SuiError type in nested types have those grouped by area where they can be triggered?