Add some more tests for subclass existentials

- Test member access on metatypes
- SILGen tests for properties and subscripts
- End-to-end executable tests

Author: slavapestov