Remove `kast` and `kore` attributes #4048

Job	Run time
Version Sync	2s
Nix flake (self-hosted, linux, normal)	6s
Nix flake (macos-13, macos-13)	2s
Nix flake (MacM1, self-macos-12)	5s
Check code formatting	1s
K Ubuntu Jammy Package	1s
K Tests	1s
Performance Tests	1s
	19s

Provide feedback