Fix Python binding validation and solver alias handling

Reject abstract base instances before the solver owns them and keep native callbacks on the no-GIL fast path. Add regression coverage for solver aliases, parallel native callbacks, and the isolated import error path.

Author: astomodynamics